Section: Dissemination

Teaching

• Licence : Programmation et Algorithmique, 60h, L3, Ecole des Mines de Nancy

• Licence : Programmation Orientée Objet, 60h, L1, IUT Charlemagne, Nancy

• Licence : Programmation Distribuée, 20h, L2, IUT Charlemagne, Nancy

• Licence : Sécurité dans les bases de donées, 20h, L2, IUT Charlemagne, Nancy

• Licence : Services d'annuaire et d'authentification, 30h, LPro, IUT Charlemagne, Nancy

• Master : Software Engineering, 15h, M1, Ecole des Mines de Nancy

• Master : OO Programming, 30h, M1, Ecole des Mines de Nancy

• Master : Research project, 30h, M2, Ecole des Mines de Nancy

• Master : Analyse et conception de logiciels, 100h, M1, Université Henri Poincaré, Nancy

• Master : Génie logiciel avancé, 30h, M2, Université Henri Poincaré, Nancy

• PhD : Tony Bourdier, "Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité", Université Henri Poincaré, October 7th 2011, Horatiu Cirstea

• PhD : Cody Roux, "Terminaison a base de tailles: sémantique et généralisations", June 14th 2011, Frederic Blanqui et Claude Kirchner

• PhD in progress : Jean-Christophe Bach, "Transformation de

• PhD in progress : François Prugniel, "Filtrage et stratégies sur les structures cycliques. Application à l'analyse pour l'ingénierie des modèles", October 1st 2010, Horatiu Cirstea et Pierre-Etienne Moreau modèles et certification", November 1st 2010, Pierre-Etienne Moreau

• PhD in progress : Cláudia Tavares, "Un système de types pour la programmation par réécriture embarquée", October 15th 2007, Claude Kirchner et Pierre-Etienne Moreau